2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)
Joao Marques-Silva
,
Karem A. Sakallah
Категория:
Компьютеры
3.79 Mb
#2
Theory and Application of Satisfiability Testing - SAT 2011
Karem A. Sakallah
,
Laurent Simon
4.14 Mb
#3
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Joao Marques-Silva
,
Karem A. Sakallah
5.55 Mb